#ifndef SET_OPERATIONS_HPP
#define	SET_OPERATIONS_HPP

#include "Interval.hpp"
#include <map>
#include <string>


typedef map<string/*var*/, Interval> IV;
bool IV_subseteq(IV arg1, IV arg2);
IV IV_union(IV arg1, IV arg2);


#endif	/* SET_OPERATIONS_HPP */

